11 results
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 26 February 2021, e5
-
- Article
-
- You have access
- Export citation
12 - Out-of-the-Box Initiatives to Combat Illicit Nuclear Technology Procurement Networks
-
-
- Book:
- Preventing Black Market Trade in Nuclear Technology
- Published online:
- 01 June 2018
- Print publication:
- 21 June 2018, pp 301-322
-
- Chapter
- Export citation
Testing noninterference, quickly
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 05 April 2016, e4
-
- Article
-
- You have access
- Export citation
Zygosity Differences in Height and Body Mass Index of Twins From Infancy to Old Age: A Study of the CODATwins Project
-
- Journal:
- Twin Research and Human Genetics / Volume 18 / Issue 5 / October 2015
- Published online by Cambridge University Press:
- 04 September 2015, pp. 557-570
-
- Article
-
- You have access
- HTML
- Export citation
The CODATwins Project: The Cohort Description of Collaborative Project of Development of Anthropometrical Measures in Twins to Study Macro-Environmental Variation in Genetic and Environmental Effects on Anthropometric Traits
-
- Journal:
- Twin Research and Human Genetics / Volume 18 / Issue 4 / August 2015
- Published online by Cambridge University Press:
- 27 May 2015, pp. 348-360
-
- Article
-
- You have access
- HTML
- Export citation
Variants Close to NTRK2 Gene Are Associated With Birth Weight in Female Twins
-
- Journal:
- Twin Research and Human Genetics / Volume 17 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 20 June 2014, pp. 254-261
-
- Article
-
- You have access
- HTML
- Export citation
A Genome-Wide Association Study of Monozygotic Twin-Pairs Suggests a Locus Related to Variability of Serum High-Density Lipoprotein Cholesterol
-
- Journal:
- Twin Research and Human Genetics / Volume 15 / Issue 6 / December 2012
- Published online by Cambridge University Press:
- 03 October 2012, pp. 691-699
-
- Article
-
- You have access
- HTML
- Export citation
Contributors
-
-
- Book:
- Introduction to Epilepsy
- Published online:
- 05 July 2012
- Print publication:
- 26 April 2012, pp xii-xv
-
- Chapter
- Export citation
The Genetics of Coronary Heart Disease: The Contribution of Twin Studies
-
- Journal:
- Twin Research / Volume 6 / Issue 5 / 01 October 2003
- Published online by Cambridge University Press:
- 21 February 2012, pp. 432-441
-
- Article
-
- You have access
- Export citation
POWER THERAPIES: EVIDENCE VERSUS EMOTION A REPLY TO ROSEN, LOHR, MCNALLY AND HERBERT
-
- Journal:
- Behavioural and Cognitive Psychotherapy / Volume 27 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 3-8
- Print publication:
- January 1999
-
- Article
- Export citation
Eye-Movement Desensitisation to Overcome Post-traumatic Stress Disorder
-
- Journal:
- The British Journal of Psychiatry / Volume 163 / Issue 1 / July 1993
- Published online by Cambridge University Press:
- 02 January 2018, pp. 106-108
- Print publication:
- July 1993
-
- Article
- Export citation